(2,1)-quasitopos?
structures in a cohesive (∞,1)-topos
A separated (∞,1)-presheaf over an (∞,1)-site is a (∞,1)-presheaf ∞Grpd such that covering families in the descent comparison morphism
is a full and faithful (∞,1)-functor and hence exhibits a full sub-(∞,1)-category.
(Here denotes the sieve associated to the cover).
More generally, is -separated for if the descent morphism is a -truncated morphism.
Notice that this means that a 0-separated -presheaf is one whose descent morphisms are equivalences, hence those which are (∞,1)-sheaves.
separated (∞,1)-presheaf
Last revised on September 11, 2011 at 17:55:08. See the history of this page for a list of all contributions to it.